module Mux2#(parameter WIDTH = 32) (
        input [WIDTH-1:0] MUXin0,
        input [WIDTH-1:0] MUXin1,
        input MUXctrl0to1,
        output [WIDTH-1:0] MUXout);

    assign MUXout = MUXctrl0to1? MUXin1 : MUXin0;
endmodule
